无线IEEE 802.11网络多信道MAC性能建模与分析

IEEE 802.11动态频谱接入网络是当前协议和模型在无线网络研究中一直受到广泛的关注.虽然它的物理层支持多信道,但其MAC层对多信道的支持仍面临挑战.目前的多信道MAC研究大多基于仿真实验,缺乏性能分析模型.本文设计了一种简单通用的信道切换机制,将IEEE802.11MAC扩展成为一种多信道MAC.本文提出了三维马尔可夫链分析模型描述多信道MAC性能,刻画单信道内重传次数和多信道间切换对性能的影响,支持基本和RTS/CTS两种接入方式.仿真结果表明,该多信道MAC模型能够很好地预测系统的饱和吞吐量,系统性能随着重传次数的增加能得到提高,而切换信道数量的增加并不能总是带来性能的提高.     

一种新的球形解码初始半径确定方法

球形解码(Sphere Decoding, SD)是多输入多输出系统(MIMO)系统中一种非常高效的解码算法.它的初始搜索半径对算法的计算复杂度有很大的影响.提出一种名为 IR-ZF-OSUC的初始搜索半径确定方法.它利用了SD内嵌的QR分解结果来得到初始半径.相比其他类似方法,因半径更为接近最优值,且无需专门的处理步骤,使SD具有更低的计算复杂度.仿真表明,使用IR-ZF-OSUC来确定初始半径的SD相比基于其他策略的SD,在很宽的SNR范围内具有最低的计算复杂度.     

VANET无线链路质量的测量与分析

目前对移动自组织网络的研究很少涉及现实环境里的测量问题。该文对不同环境下无线链路丢包率、信号强度等参数进行了测量和分析。结果表明,环境对链路质量有较大影响,在郊区环境下,丢包率较低,链路质量较好,信号强度反应链路质量的能力有限,连续丢包概率的变化与丢包率平均值的变化基本一致。分析结果对预测无线链路质量和设计VANET网络协议具有重要意义。     

美国“矩阵”情报分析系统的破解研究

将认知领域的情报分析和人工智能、计算机技术相结合,实现情报分析的自动化是各国情报系统研究的重要领域,该文对美国“矩阵”情报分析系统的关键环节进行研究,探讨该系统所采用的算法,并对其进行描述,给出该系统的具体分析过程及系统的体系结构。     

一种求解参数优化问题的引导交叉算子

提出一种应用于参数优化问题的引导交叉算子。该交叉算子利用父代染色体的适应值差异,引导交叉操作产生的子代向适应值高的父代倾斜,以产生高适应值的子代个体。对于连续函数,高适应值个体的邻域内也是高适应值的个体,且在两个个体之间不存在极值时,朝适应值增加的方向可以生成更优的个体。实验表明,对比常用的算术交叉算子,引导交叉算子具有更强的全局、局部搜索能力和更快的搜索速度。     

基于水利信息网络的对等计算平台

我国水利行业对计算力需求不断增加,该文利用P2P技术汇聚PC的空闲CPU资源,来提供低成本的高计算力。针对水利信息网络的现状,以XtremWeb计算平台为基础,构造了基于广域网和局域网的两层XtremWeb网络,并采用多服务窗排队理论进行建模和分析,得到模型的相关参数。给出洪水淹没范围计算的具体实例,采用XtremWeb网络进行实验。实验结果表明,随着Worker数量的增加,实际计算耗时快速下降,系统吞吐量接近线性增长。     

基于知识管理的统一数据模型

分析传统数据建模的特点和缺点,在电子政务领域提出用知识统一数据模型来支持统一知识管理和信息集成。基于知识统一数据模型设计并实现了一个统一应用开发环境,并在该环境下构建知识管理平台。实际应用表明,基于知识统一数据模型来构建知识管理平台可以使系统能统一管理各类知识,并便捷、快速地适应新知识类型的应用。     

基于Fuzzing的蓝牙OBEX漏洞挖掘技术

Fuzzing是一种自动化的漏洞挖掘技术。该文在分析OBEX 协议的基础上,利用Fuzzing技术,设计并实现了蓝牙OBEX协议的Fuzzer工具——OBEX-Fuzzer,并且利用该工具对OBEX协议在Nokia N73和SMH-BT555蓝牙适配器上的实现进行了漏洞测试,发现存在多个安全漏洞,实践结果表明了研究思路的正确性以及利用OBEX-Fuzzer工具进行安全漏洞测试的高效性。     

基于动态监控器的安全局域网

从体系结构角度,提出一种新的局域网安全解决方案。该方案采用透明计算机进行集中统一存储,用星型结构作为局域网的拓扑结构,并且在网络中心节点引入监控器。监控器拥有局域网的主动控制权,对各个网络部件之间的通信过程实施强制访问控制,以实现对终端与终端之间及终端与外网之间的通信数据的过滤和动态物理隔离。     

一种用于浮点乘法的边界筛选伪随机测试方法

复杂测试空间中难以命中的冷僻细节,导致在IEEE浮点算法测试过程中难以验证单条浮点运算的正确性。该文针对传统直接随机测试方法的缺点,提出一种边界筛选生成案例的测试方法。该方法对待测算法边界条件建模,求解边界条件,利用解来构造筛选操作数的标准,并通过筛选操作数实现测试。实验证明该方法比直接随机测试方法更可靠。